A logical approach to A-Prolog
نویسندگان
چکیده
It has been recently provided a characterization of Answer Sets by intuitionistic logic as follows: a literal is entailed by a program in the stable model semantics if and only if it belongs to every intuitionistically complete and consistent extension of the program formed by adding only negated literals. We show that if we replace intuitionistic logic by any si-logic the result still holds.
منابع مشابه
Extending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملTWAM: A Certifying Abstract Machine for Logic Programs
Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the TypedWarren Abstract Machine (TWAM). The TWAMhas a dependent type system strong enough to...
متن کاملA Systematic Approach to Exploiting Implicit Parallelism in Full Prolog
Prolog is a practical declarative programming language based on Horn Logic. In this paper we argue that implicit parallelism can be extracted from full Prolog. By full Prolog we mean pure Prolog with extra-logical features such as side-eeects, database predicates and cuts. Prolog programs have three main forms of implicit parallelism present in them: or-parallelism, independent and-parallelism ...
متن کاملArtificial Intelligence and Intelligent Systems: Logic programming as a framework for Knowledge Representation and Artificial Intelligence
2 Prolog as a simple database engine 4 2.1 The subset of Prolog called Datalog . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Example: Logical circuits in Prolog . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3 How Prolog answers queries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.4 A logical semantics for Prolog . . . . . . . . . . . . . . . ....
متن کاملTwo-phase Semantic Web Service Discovery Method for Finding Intersection Matches using Logic Programming
Discovering Web Services based on logical matching of capabilities is a new requirement for Semantic Web Services which cannot be solved with traditional information retrieval (IR) techniques. Building fast and precise logical discovery engines is an ongoing challenge of the Semantic Web community. This paper presents the discovery engine implemented for the INFRAWEBS project which combines a t...
متن کاملDevelopment of Concurrent Object-oriented Logic Programming System to Intelligent Monitoring of Anomalous Human Activities
A logic programming approach to the intelligent monitoring of anomalous human activity is considered. The main idea of this approach is in using of a first order logic for describing abstract concepts of anomalous human activity, i.e. brawls, sudden attack, armed attack, leaving object, loitering, pickpocketing, personal theft, immobile person, etc. We use the Actor Prolog concurrent object-ori...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 67 شماره
صفحات -
تاریخ انتشار 2002